Linear Technology - PDFSEARCH.IO - Document Search Engine

Linear Technology
Results: 1451

#	Item
131	On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48 Logic Mathematical logic Theoretical computer science Temporal logic Model checkers Linear temporal logic NuSMV Model checking Concurrency Finite model theory Planning Domain Definition Language SMV
132	Geographic Information Technology Training Alliance (GITTA) presents: Spatial Change Analysis Responsible persons: Chloé Barboux, Claude Collet Add to Reading List Source URL: www.gitta.info Language: English - Date: 2012-05-29 05:48:47 Data Statistics Knowledge Estimation theory Geostatistics Regression analysis Cartography Geographic data and information Spatial analysis Geographic information system Linear regression Polynomial regression
133	PDF Document Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2012-07-12 06:13:15 Computing Computer memory Electronic engineering Flip-flop Software engineering Linear temporal logic Const Justice PLY Technology
134	PERFORMANCE ANALYSIS OF 30 M eV ELECTRON LINAC WITH A NEW INJECTOR SYSTEM S.P Gokov, L.A. Makhnenko, I.V. Khodak, O.A. Shopen National Science Center ”Kharkov Institute of Physics and Technology”, 61108, Kharkov, Ukr Add to Reading List Source URL: vant.kipt.kharkov.ua Language: English - Date: 2009-10-19 05:37:52 Linear particle accelerator Klystron Electron ALICE Physics Particle accelerators Electromagnetism
135	DELFT UNIVERSITY OF TECHNOLOGY REPORTAccelerating the LSTRS algorithm J. Lampe, M. Rojas, D.C. Sorensen, and H. Voss JulyRevised July 2010. Add to Reading List Source URL: www.ewi.tudelft.nl Language: English - Date: 2011-05-11 08:16:59 Numerical linear algebra Eigenvalues and eigenvectors Eigenvalue algorithm Nonlinear eigenproblem Quadratic eigenvalue problem Inverse iteration Preconditioner Lanczos algorithm Conjugate gradient method Algebra Mathematics Linear algebra
136	How to Implement the MELP 1. MELP implementation plan Role of Cap-Net Role of networks Role of course coordinators and partners Add to Reading List Source URL: www.cap-net.org Language: English - Date: 2014-05-27 12:26:42 Mixed-excitation linear prediction Report Technology
137	A Brief History of the ORION’s Revisions I thought now would be a good time to review the revisions that have marked the ORION’s progressMagnet mounting of the midrange The ORION is the first SL design I’m Add to Reading List Source URL: www.linkwitzlab.com Language: English - Date: 2010-12-16 15:10:30 Technology Loudspeakers Audio electronics Equalization Mid-range speaker Decade High-pass filter Audio power High frequency Electronics Signal processing Linear filters
138	CUSTOM DRIVES/CONTROLS - NAVY/MILITARY ENERGY EFFICIENT MULTIPLEXING COMMONALITY Add to Reading List Source URL: www.drs-cci.com Language: English - Date: 2013-12-10 15:08:55 Actuators Automation Variable-frequency drive Controller Valve Linear actuator Electrical engineering Technology Electromagnetism
139	DELFT UNIVERSITY OF TECHNOLOGY REPORTComputational and Sensitivity Aspects of Eigenvalue-Based Methods for the Large-Scale Trust-Region Subproblem – extended version Marielba Rojas, Bjørn H. Fotland, and Trond Add to Reading List Source URL: www.ewi.tudelft.nl Language: English - Date: 2013-04-17 08:35:19 Numerical linear algebra Matrix theory Abstract algebra Singular value decomposition Eigenvalues and eigenvectors Eigenvalue algorithm Lanczos algorithm Inverse problem Preconditioner Algebra Linear algebra Mathematics
140	VERIFYING MOBILITY DATA UNDER PRIVACY CONSIDERATIONS IN CAR-TO-X COMMUNICATION Hagen Stübing1, Attila Jaeger2, Norbert Bißmeyer3, Christoph Schmidt1, Sorin A. Huss2 1 General Motors Europe, Global Active Safety, Add to Reading List Source URL: www.simtd.de. Language: English - Date: 2014-02-18 10:24:21 Mobile technology Control theory Kalman filter Robot control Intelligent transportation system SMS Technology Electronic engineering Linear filters

UPDATE